Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
501	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
502	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
503	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
504	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
505	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
506	F RIT S Cab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems∗ Stefan Henkler, Moritz Breit, Christopher Brink, Markus Böger, Christian Brenner, Kathrin Bröker, Uwe Pohlmann, Manel Richtermeier, Julian Suck, Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:30 Applied mathematics Model checking Worst-case execution time System Component-based software engineering Formal verification Software architecture Mechatronics Behavior Trees Embedded systems Software engineering Technology
507	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
508	Alberto Lluch Lafuente – Curriculum Vitae up to July 4, 2014 – Personal Information Surnames First name Add to Reading List Source URL: dl.dropboxusercontent.com Language: English IMT Institute for Advanced Studies Lucca Lluch CHIC Manfred Broy Model checking
509	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
510	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development

UPDATE